Refinement-Based Specification: Requirements and Architecture
نویسنده
چکیده
This paper presents the methodology for the system requirements and architecture w.r.t. their decomposition and refinement. It also introduces ideas of refinement layers and of refinement-based verification.
منابع مشابه
Architecture: Requirements + Decomposition + Refinement
This paper focuses on the system requirements and architecture w.r.t. their decomposition and refinement: how the refinement-based verification can be used to optimize verification process, and which influences it has on the specification process. We introduce here specification decomposition methods, applying which ones can not only to keep the specification readable and manageable, but also f...
متن کاملSiemens Rail - Industrial Case Study: Model-based Development of a Train Guard MT Function
Siemens AG Rail Automation, fortiss GmbH, and the chair for Software and System Engineering at Technische Universität München set up a transfer project to apply the SPES modeling framework (SPES MF) to the Platform Screen Doors (PSD) function of the Siemens Train Guard MT system creating formal models for requirements and system functionality. Three documents provided by Siemens Rail were used ...
متن کاملBridging the gap between KAOS requirements models and B specifications
Employing formal methods for complex systems specification is steadily growing from year to year. Whereas the formal specification process from abstraction to implementation via refinement is well understood, the traceability between initial user requirements (requirements analysis) and the corresponding formal specification is still unsatisfying and ambiguous. In fact, there is little research...
متن کاملA Formal Reuse-Based Approach for Interactively Designing Organizations
Multiagent organizations provide a powerful way for developing multiagent systems. This paper presents a methodology for designing organizations based on formal specification of requirements for organizational behavior and requirements refinement related to organizational structure. The approach allows parts of the organization to be designed in parallel and later be put together to satisfy the...
متن کاملBehavior Protocols for Software Components
In this paper, we propose a means to enhance an architecture description language with a description of component behavior. A notation used for this purpose should be able to express the “interplay” on the component’s interfaces and reflect step-by-step refinement of the component’s specification during its design. In addition, the notation should be easy to comprehend and allow for formal reas...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1404.7260 شماره
صفحات -
تاریخ انتشار 2014